Reports in Informatics
نویسنده
چکیده
The paper presents a further step within a comprehensive program of “Dualizing Universal Algebra” [4, 7, 10, 11, 12]. We analyze the construction of subalgebras generated by a given subset (of generators) of the carrier of an algebra and reformulate it in a systematic categorical way. Dualizing the new categorical description, we obtain then the construction of quotient coalgebras “cogenerated” by a given partition of the carrier of an coalgebra. This dual construction turns out to be a (very) generalization of the table-filling algorithm for minimizing deterministic finite automata [3].
منابع مشابه
The Role of Electronic Health During the Covid-19 Crisis: A Systematic Review of Literatures
Introduction: In late 2019, Covid-19 Outbreak started in Wuhan, China and quickly spread through whole world. On the other hand, health information technology plays an important role in the current health system. Therefore, the aim of this systematic review investigates the role of electronic health during the outbreak of Covid-19 Crisis. Method: In this review study, studies from December...
متن کاملThe Role of Electronic Health During the Covid-19 Crisis: A Systematic Review of Literatures
Introduction: In late 2019, Covid-19 Outbreak started in Wuhan, China and quickly spread through whole world. On the other hand, health information technology plays an important role in the current health system. Therefore, the aim of this systematic review investigates the role of electronic health during the outbreak of Covid-19 Crisis. Method: In this review study, studies from December...
متن کاملHealth in First to Sixth Economic, Social, and Cultural Development Plans of Iran: A Document Analysis
Background: Development plans aimed at macro-management planning in a country significantly impact all functional fields. This study investigated the status and significance of the health sector in the first to sixth economic, social, and cultural development plans in Iran. Methods: This was a review study using documentary analysis method. The review was conducted with an emphasis on purpose...
متن کاملDesign, Implementation, and Applicability Evaluation of Hip and Knee Arthroplasty Registry
Introduction: Arthroplasty is a major orthopedic operation with an increasing rate. The success of this operation can significantly reduce patients’ pain and disabilities. This study aimed to design a registry system for hip and knee arthroplasties. Method: A comprehensive search was conducted to retrieve minimum data set from articles, guidelines, forms and reports published by orthopedic soci...
متن کاملDesign, Implementation, and Applicability Evaluation of Hip and Knee Arthroplasty Registry
Introduction: Arthroplasty is a major orthopedic operation with an increasing rate. The success of this operation can significantly reduce patients’ pain and disabilities. This study aimed to design a registry system for hip and knee arthroplasties. Method: A comprehensive search was conducted to retrieve minimum data set from articles, guidelines, forms and reports published by orthopedic soci...
متن کاملA proposed model for designing an electronic system for managing patient transfer
Background: Information technology application in health care is increasing. The aim of this study, is to introduce a scientific model for designing an electronic system for managing patient transfer. Materials and Methods: This study is an exploratory qualitative study. At first a review of literature was carried out for identifying clinical, managerial and process indicators necessary for p...
متن کامل